Parameterized Concurrent Multi-Party Session Types

Session types have been proposed as a means of statically verifying implementations of communication protocols. Although prior work has been successful in verifying some classes of protocols, it does not cope well with parameterized, multi-actor scenarios with inherent asynchrony. For example, the sliding window protocol is inexpressible in previously proposed session type systems. This paper describes System-A, a new typing language which overcomes many of the expressiveness limitations of prior work. System-A explicitly supports asynchrony and parallelism, as well as multiple forms of parameterization. We define System-A and show how it can be used for the static verification of a large class of asynchronous communication protocols.Comment: In Proceedings FOCLASA 2012, arXiv:1208.432

Comparing the evolution of national research policies: What patterns of change?

This article presents a comparative analysis of the evolution of national research policies during the past three decades in six European countries (Austria, Italy, France, Netherlands, Norway and Switzerland), with a special focus on the changes of public project funding schemes. It systematically uses indicators on the volume of funding attributed by each instrument and agency, which have been developed in a project of the European network of excellence PRIME. A common model is identified in these countries, where project funding is the second main channel of public funding of research, but also there are considerable variations among them in the share of instruments and agencies, and in beneficiaries. There are three interesting commonalities: a strong increase of project funding volumes; a differentiation of instruments; and a general shift towards instruments oriented to thematic priorities. They also show that individual countries appear to follow quite distinct paths in the organisation setting of funding agencies, and that national differences in funding portfolios persist through tim

A non-randomised, single-centre comparison of induction chemotherapy followed by radiochemotherapy versus concomitant chemotherapy with hyperfractionated radiotherapy in inoperable head and neck carcinomas

BACKGROUND: The application of induction chemotherapy failed to provide a consistent benefit for local control in primary treatment of advanced head and neck (H&N) cancers. The aim of this study was to compare the results of concomitant application of radiochemotherapy for treating locally advanced head-and-neck carcinoma in comparison with the former standard of sequential radiochemotherapy. METHODS: Between 1987 and 1995 we treated 122 patients with unresectable (stage IV head and neck) cancer by two different protocols. The sequential protocol (SEQ; 1987–1992) started with two courses of neoadjuvant chemotherapy (cisplatin [CDDP] + 120-h continuous infusions (c.i.) of folinic acid [FA] and 5-fluorouracil [5-FU]), followed by a course of radiochemotherapy using conventional fractionation up to 70 Gy. The concomitant protocol (CON; since 1993) combined two courses of FA/5-FU c.i. plus mitomycin (MMC) concomitantly with a course of radiotherapy up to 30 Gy in conventional fractionation, followed by a hyperfractionated course up to 72 Gy. Results from the two groups were compared. RESULTS: Patient and tumor characteristics were balanced (SEQ = 70, CON = 52 pts.). Mean radiation dose achieved (65.3 Gy vs. 71.6 Gy, p = 0.00), response rates (67 vs. 90 % for primary, p = 0.02), and local control (LC; 17.6% vs. 41%, p = 0.03), were significantly lower in the SEQ group, revealing a trend towards lower disease-specific (DSS; 19.8% vs. 31.4%, p = 0.08) and overall (14.7% vs. 23.7%, p = 0.11) survival rates after 5 years. Mucositis grades III and IV prevailed in the CON group (54% versus 44%). Late toxicity was similar in both groups. CONCLUSION: Concurrent chemotherapy seemed more effective in treating head and neck tumors than induction chemotherapy followed by chemoradiation, resulting in better local control and a trend towards improved survival

A Unique Radiation Scheme for the Treatment of High-Grade Non-Metastatic Soft Tissue Sarcoma: The Detroit Medical Center Experience

Purpose:This is the initial report on the utilization of combined photon irradiation followed by a neutron boost irradiation for the initial management of patients with high-grade non-metastatic soft tissue sarcoma (STS). We present data on local control, complications, disease-free survival and overall survival in patients at high risk for local relapse

Non-Visual Effects of Light on Melatonin, Alertness and Cognitive Performance: Can Blue-Enriched Light Keep Us Alert?

Light exposure can cascade numerous effects on the human circadian process via the non-imaging forming system, whose spectral relevance is highest in the short-wavelength range. Here we investigated if commercially available compact fluorescent lamps with different colour temperatures can impact on alertness and cognitive performance

Hypertrophic cardiomyopathy is characterized by alterations of the mitochondrial calcium uniporter complex proteins: insights from patients with aortic valve stenosis versus hypertrophic obstructive cardiomyopathy

Introduction: Hypertrophies of the cardiac septum are caused either by aortic valve stenosis (AVS) or by congenital hypertrophic obstructive cardiomyopathy (HOCM). As they induce cardiac remodeling, these cardiac pathologies may promote an arrhythmogenic substrate with associated malignant ventricular arrhythmias and may lead to heart failure. While altered calcium (Ca2+) handling seems to be a key player in the pathogenesis, the role of mitochondrial calcium handling was not investigated in these patients to date.Methods: To investigate this issue, cardiac septal samples were collected from patients undergoing myectomy during cardiac surgery for excessive septal hypertrophy and/or aortic valve replacement, caused by AVS and HOCM. Septal specimens were matched with cardiac tissue obtained from post-mortem controls without cardiac diseases (Ctrl).Results and discussion: Patient characteristics and most of the echocardiographic parameters did not differ between AVS and HOCM. Most notably, the interventricular septum thickness, diastolic (IVSd), was the greatest in HOCM patients. Histological and molecular analyses showed a trend towards higher fibrotic burden in both pathologies, when compared to Ctrl. Most notably, the mitochondrial Ca2+ uniporter (MCU) complex associated proteins were altered in both pathologies of left ventricular hypertrophy (LVH). On the one hand, the expression pattern of the MCU complex subunits MCU and MICU1 were shown to be markedly increased, especially in AVS. On the other hand, PRMT-1, UCP-2, and UCP-3 declined with hypertrophy. These conditions were associated with an increase in the expression patterns of the Ca2+ uptaking ion channel SERCA2a in AVS (p = 0.0013), though not in HOCM, compared to healthy tissue. Our data obtained from human specimen from AVS or HOCM indicates major alterations in the expression of the mitochondrial calcium uniporter complex and associated proteins. Thus, in cardiac septal hypertrophies, besides modifications of cytosolic calcium handling, impaired mitochondrial uptake might be a key player in disease progression

Impaired Release of Antimicrobial Peptides into Nasal Fluid of Hyper-IgE and CVID Patients

Patients with primary immunodeficiency (PID) often suffer from frequent respiratory tract infections. Despite standard treatment with IgG-substitution and antibiotics many patients do not improve significantly. Therefore, we hypothesized that additional immune deficits may be present among these patients.To investigate if PID patients exhibit impaired production of antimicrobial peptides (AMPs) in nasal fluid and a possible link between AMP-expression and Th17-cells.Nasal fluid, nasopharyngeal swabs and peripheral blood mononuclear cells (PBMCs) were collected from patients and healthy controls. AMP levels were measured in nasal fluid by Western blotting. Nasal swabs were cultured for bacteria. PBMCs were stimulated with antigen and the supernatants were assessed for IL-17A release by ELISA.In healthy controls and most patients, AMP levels in nasal fluid were increased in response to pathogenic bacteria. However, this increase was absent in patients with common variable immunodeficiency (CVID) and Hyper-IgE syndrome (HIES), despite the presence of pathogenic bacteria. Furthermore, stimulation of PBMCs revealed that both HIES and CVID patients exhibited an impaired production of IL-17A.CVID and HIES patients appear to have a dysregulated AMP response to pathogenic bacteria in the upper respiratory tract, which could be linked to an aberrant Th17 cell response

Epithelial Proinflammatory Response and Curcumin-Mediated Protection from Staphylococcal Toxic Shock Syndrome Toxin-1

Staphylococcus aureus initiates infections and produces virulence factors, including superantigens (SAgs), at mucosal surfaces. The SAg, Toxic Shock Syndrome Toxin-1 (TSST-1) induces cytokine secretion from epithelial cells, antigen presenting cells (APCs) and T lymphocytes, and causes toxic shock syndrome (TSS). This study investigated the mechanism of TSST-1-induced secretion of proinflammatory cytokines from human vaginal epithelial cells (HVECs) and determined if curcumin, an anti-inflammatory agent, could reduce TSST-1-mediated pathology in a rabbit vaginal model of TSS. TSST-1 caused a significant increase in NF-κB-dependent transcription in HVECs that was associated with increased expression of TNF- α, MIP-3α, IL-6 and IL-8. Curcumin, an antagonist of NF-κB-dependent transcription, inhibited IL-8 production from ex vivo porcine vaginal explants at nontoxic doses. In a rabbit model of TSS, co-administration of curcumin with TSST-1 intravaginally reduced lethality by 60% relative to 100% lethality in rabbits receiving TSST-1 alone. In addition, TNF-α was undetectable from serum or vaginal tissue of curcumin treated rabbits that survived. These data suggest that the inflammatory response induced at the mucosal surface by TSST-1 is NF-κB dependent. In addition, the ability of curcumin to prevent TSS in vivo by co-administration with TSST-1 intravaginally suggests that the vaginal mucosal proinflammatory response to TSST-1 is important in the progression of mTSS